From: Lapo Calamandrei <calamandrei@gmail.com>
Date: Tue, 9 May 2017 11:27:51 +0000 (+0200)
Subject: Revert "Adwaita: remove unneeded margin on dropdown menu"
X-Git-Tag: archive/raspbian/3.24.39-1+rpi1~1^2~65^2~39^2~572
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=3e48a80d85153b20cd317eed4bd870e31d1ed78f;p=gtk%2B3.0.git

Revert "Adwaita: remove unneeded margin on dropdown menu"

This reverts commit bb1679b247a8805a9c87a41dcd10a2ae8b2d65d3.
The margin was actually related to:
https://bugzilla.gnome.org/show_bug.cgi?id=591258
---

diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 65bd2061cc..17ba5cb5fe 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1917,6 +1917,7 @@ menubar,
 menu,
 .menu,
 .context-menu {
+  margin: 4px;
   padding: 2px 0px;
   background-color: $menu_color;
   border: 1px solid $borders_color; // adds borders in a non composited env